# FA 9550 - 11 - 1 - 0216 and Combines

AFOSR Grant FA 9550 - 04 - 1 - 0151 Final Performance Report Period Covered

Grant number : FA 9550 - 15 - 1 - 0105

Final report on AFOSR FA 9550 - 07 - 1 - 0426 - entitled Novel Mathematical and Computational Techniques for Robust Uncertainty Quantification

Specification , Design and Verification of Distributed Embedded Systems Afosr Grant Fa 9550 - 06 - 1 - 0303

We are investigating the specification, design and verification of distributed systems that combine communications, computation and control in dynamic, uncertain and adversarial environments. Our goal is to develop methods and tools for designing control policies, specifying the properties of the resulting distributed embedded system and the physical environment, and proving that the specificat...

An Extensible and Scalable Framework for Formal Modeling , Analysis , and Development of Distributed Systems Contract No . FA 9550 - 07 - C - 0114 STTR Phase I

Enter UU (Unclassified Unlimited) or SAR (Same as Report). An entry in this block is necessary if the abstract is to be lirriled. Standard Form 298 Back (Re'